$\forall$$a$, $b$:$\mathbb{Q}$. ($\uparrow$q\_le($a$;$b$)) = $a$ $\leq$ $b$ $\in$ $\mathbb{P}$